Sophie Quinton gave a keynote at the MathC2+ event organized by Inria, entitled “Faire des preuves par ordinateur : Pourquoi et comment ?” (Computer-assisted proofs: Why and how?).